type 'T A with
    member this.P = 1
